Prof
Harald Sondergaard
Honorary (Professorial Fellow)
School of Computing and Information Systems
Programming language semantics
Declarative programming
Abstract interpretation
Compilation
Partial evaluation
Data structures and algorithms for Boolean functions
Lattices
Order
Algorithms